-
Construction d'une base de \(E\neq \{0_E\}\)
1)\(\exists u_1{{\neq \overline0}}\)- \(u_2{{\not \in Vect(u_1)}}={{\{\alpha u_1,\alpha\in \Bbb R\} }}\iff {{u_2\neq \alpha u_1}}\implies \{u_1,u_2\}\) est libre
3)\(u_3\not \in Vect(u_1,u_2)=\{\alpha_1 u_1+\alpha_2 u_2\}\iff u_3\neq \alpha_1u_1+\alpha_2u_2\)- \(u_2\not\in Vect(u_1,u_2,u_3)...\)
